1. Aufzahlbarkeit, Entscheidbarkeit, Berechenbarkeit; Einfuhrung in die Theorie der rekursiven Funktionen
پدیدآورنده : Hermes, Hans.
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Recursive functions,، Algorithms,، Godel's theorem,، Computable functions
رده :
QA
248
.
5
.
H4
1971
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
2. Eine Termlogik mit Auswahloperator
پدیدآورنده : Hermes, Hans
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
3
.
L28
no
.
6
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
3. Einfuhrung in die mathematische Logik: Klassische pradikatenlogik
پدیدآورنده : Hermes, Hans
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
H44
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
4. Einfuhrung in die Verbandstheorie
پدیدآورنده : Hermes, Hans
موضوع : ، Lattice theory
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
5. Enumerability, decidability, computability; an introduction to the theory of recursive functions
پدیدآورنده : Hermes, Hans
موضوع : ، Recursive functions,، Algorithms,، Godel's theorem,، Computable functions
۳ نسخه از این کتاب در ۲ کتابخانه موجود است.
6. Introduction to mathematical logic
پدیدآورنده : Hermes, Hans
موضوع : ، Logic, Symbolic and mathematical
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
7. Term logic with choice operator
پدیدآورنده : Hermes, Hans
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
H54
1970
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
8. Term logic with choice operator
پدیدآورنده : Hermes, Hans
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
3
.
L28
no
.
6
1970
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
9. Term logic with choice operator
پدیدآورنده : Hermes, Hans
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
3
.
L28
no
.
6
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)